Průběh asi tradiční.
Jenom pro úplnost uvedu, že otázka nemusí být vždycky spojená s příkladem (to potkalo mě).
Dostal jsem: informované prohledávání, heuristiky + jejich vlastnosti s důkazy, A*, dokázat vlastnosti A* pro určité heuristiky, RBFS, IDA*, porovnání těchhle algoritmů.
Takže jsem dostal vlastně všechny důkazy, co tam za celý semestr jsou :-).
Barták se je pokoušel rozbít stylem: co kdybych neznal tohle, tak co to znamená. Chce v těch důkazech precizní formulace - pokud je nemáte, tak je z vás vytáhne (i když jde o jedno slovíčko - pokud si ho nadefinujete jinak, tak po vás chce původní termín).
Pak jsme řešili určité situace a jak je A* řeší, proč je to dobře a proč je to špatně. Pak to samé pro další algoritmy a jaký je v nich rozdíl, jak se budou chovat s nějakým množstvím paměti a tak.
Moje rada budoucím generacím asi je, aby si víc věřily a víc se zkoušejícím diskutovaly :-). Asi 15 minut jsme se totiž s prof. Bartákem nemohli dohodnout (resp. on se ze mě snažil něco vytáhnout a já jsem pořád říkal nesmysly), protože se ptal na paměťovou složitost a myslel časovou :D